1. Algebra and coalgebra in computer science : first international conference, CALCO 2005, Swansea, UK, September 3-6, 2005 : proceedings
Author: Jose Luiz Fiadeiro...]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science -- Mathematics,Congresses ، Algebra
Classification :
QA
76
.
L28
Vol
.
3629
2. Categories for software engineering
Author: Jose Luiz Fiadeiro
Library: Vali Asr University Central Library (Kerman)
Subject: Computer software- Development,Categories )Mathematics(
Classification :
QA
76
.
76
.
D47
,
F53
2005
3. Categories for software engineering
Author: José Luiz Fiadeiro
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Categories (Mathematics),Computer software-- Development
4. Categories for software engineering
Author: / Jose Luiz Fiadeiro
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Computer software- Development,Categories (Mathematics)
Classification :
QA76
.
76
.
D47
,
F53
2005
5. Recent trends in algebraic development techniques :
Author: José Luiz Fiadeiro, Ionuţ Ţuţu (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses.,Computer software-- Development, Congresses.,Formal methods (Computer science), Congresses.,Computer science-- Mathematics.,Computer software-- Development.,Formal methods (Computer science)
Classification :
QA76
.
76
.
D47
6. Recent trends in algebraic development techniques
Author: / Jose Luiz Fiadeiro, Pierre-Yves Schobbens (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer software--Development--Congresses,Computer science--Mathematics--Congresses,Abstract data types (Computer science)--Congresses
Classification :
QA
,
76
.
76
,.
D47
,
W33
,
2006
7. Recent trends in algebraic development techniques : 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers
Author: Jose Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Congresses ، Computer science -- Mathematics,Congresses ، Abstract data types )Computer science(
Classification :
QA
76
.
L28
Vol
.
3423
8. Recent trends in algebraic development techniques : 13th International Workshop, WADT'98, Lisbon, Portugal, April 2-4, 1998: selected papers
Author: Jose Luiz Fiadeiro )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Congresses ، Computer science -- Mathematics,Congresses ، Abstract data types )Computer science(
Classification :
QA
76
.
L28
Vol
.
1589
